Lịch sử Bổ đề Euclid

Bổ đề xuất hiện lần đầu dưới dạng mệnh đề số 30 trong Quyển VII của bộ Cơ sở của Euclid. Nó được kèm trong trên thực tế tất cả cuốn sách viết về lý thuyết số cơ bản.[4][5][6][7][8]

Sự tổng quát hóa của bổ đề lên với mọi số nguyên xuất hiện trong sách giáo khoa Nouveaux Elémens de Mathématiques của Jean Prestet năm 1681.[9]

Trong chuyên luận Disquisitiones Arithmeticae của Carl Friedrich Gauss, phát biểu của bổ đề là Định đề 14 của Euclid (Mục 2), mà ông sử dụng để chứng minh sự duy nhất của phân tích các thừa số nguyên tố của một số nguyên (Định lý 16), thừa nhận sự tồn tại là "hiển nhiên." Từ sự tồn tại và tính duy nhất này, sau đó, ông suy ra tổng quát hóa của bổ đề từ số nguyên tố thành số nguyên.[4] Vì lý do này, tổng quát hóa của bổ đề Euclid đôi khi còn được gọi là bổ đề Gauss, nhưng một số người tin rằng cách sử dụng này là không chính xác do sự nhầm lẫn[10] với bổ đề Gauss về thặng dư bậc hai.

Liên quan